تعداد ۳۷ پاسخ غیر تکراری از ۳۷ پاسخ تکراری در مدت زمان ۰,۷۵ ثانیه یافت شد.

1. Algebraic Informatics

پدیدآورنده : \ Andreas Maletti (Ed.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار ,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها

رده :

QA

76

.

76

.

A55

2015

E-Book

,

2. Communicating process architectures 2009 :

پدیدآورنده : edited by Peter H. Welch [and others].

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.

رده :

QA76

.

58

.

W58

2009

3. Computer-aided design of language processors

پدیدآورنده : Shangin, V. F.

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(

رده :

QA

76

.

76

.

T83

S53

4. Constraint Solving and Language Processing

پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

5. Coordination Models and Languages :

پدیدآورنده : Hanne Riis Nielson, Emilio Tuosto (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Electronic data processing-- Distributed processing, Congresses.,Software architecture, Congresses.,Computer network architectures.,Computer science.,Electronic data processing-- Distributed processing.,Operating systems (Computers),Software architecture.,Software engineering.

رده :

QA76

.

758

6. DIANA An Intermediate Language for Ada

پدیدآورنده : edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

رده :

QA76

.

73

.

A35

E358

1983

7. Deductive Software Verification – The KeY Book

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :

E-Book

,

8. Distributed Programmin

پدیدآورنده : / [electronic resource]

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing

رده :

E-BOOK

9. Eclipse modeling project :

پدیدآورنده : Richard C. Gronback.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Eclipse (Electronic resource),Eclipse (Electronic resource),Eclipse (Electronic resource),Computer software-- Development.,Programming languages (Electronic computers),Computer Science.,Computer software-- Development.,Eclipse 3,Engineering & Applied Sciences.,Programming languages (Electronic computers)

رده :

QA76

.

76

.

D47

G785

2009

10. Formal Methods and Software Development :

پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

11. Guide to Scientific Computing in C++ /

پدیدآورنده : by Joe Pitt-Francis, Jonathan Whiteley.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.

رده :

QA76

.

6-76

.

66

12. It's all about coordination :

پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.

رده :

QA76

.

58

.

I87

2018eb

13. Practical aspects of declarative languages

پدیدآورنده : Andy Gill, Terrance Swift (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

رده :

QA76

.

615

.

P33

2009eb

14. Programming languages

پدیدآورنده : Francisco Heron de Carvalho Junior, Luis Soares Barbosa (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Programming languages (Electronic computers), Congresses

رده :

QA76

.

7

.

B73

2012eb

15. Programming languages :

پدیدآورنده : André Rauber Du Bois, Phil Trinder (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Programming languages (Electronic computers), Congresses

رده :

QA76

.

7

.

B73

2013

16. Programming languages, a grand tour : a collection of papers

پدیدآورنده : edited by Ellis Horowitz

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Programming languages )Electronic computers(

رده :

QA

76

.

7

.

P78

1985

17. Programming languages and systems :

پدیدآورنده : Hongseok Yang (edition)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Programming languages (Electronic computers), Congresses,Software engineering, Congresses

رده :

QA76

.

7

.

A65

2011

18. Programming languages and systems :

پدیدآورنده : Gilles Barthe (edition)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses

رده :

QA76

.

6

.

E97

2011

19. Programming languages and systems :

پدیدآورنده : Sukyoung Ryu (ed.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.

رده :

QA76

.

7

20. Programming languages and systems

پدیدآورنده : Matthias Felleisen, Philippa Gardner (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses

رده :

QA76

.

6

.

E97

2013

»
2
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است